Investigating Termination in Active Database Systems with Expressive Rule Languages
نویسندگان
چکیده
The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach for investigating the termination of rule execution. In contrast to others, this approach also addresses expressive rule languages as they have been proposed for various recent active database management system prototypes.
منابع مشابه
A Logical Framework for Active Rules Institut F Ur Informatik | Report 78 *
We present a state-oriented extension to Datalog called Statelog which comprises two kinds of rules within a simple, yet exible uniied framework, i.e. (i) passive query rules used to express queries and static integrity constraints, and (ii) active transition rules for deening state-changing operations. We show that Statelog is powerful enough to capture many typical active rule applications (i...
متن کاملA Dynamic Approach to Termination Analysis for Active Database Rules
An important behavioural property for sets of active database rules is that of termination. In current commercial database systems, termination is guaranteed by imposing a xed upper limit on the number of recursive rule rings that may occur. This can have undesirable effects such as prematurely halting correct executions. We describe a new approach based on a dynamic upper limit to the number o...
متن کاملStructural Issues in Active Rule Systems
Active database systems enhance the functionality of traditional databases through the use of active rules or`triggers'. There is little consensus, though, on what components should be included in a rule system. In this paper, the expressive power of some simple active database rule systems is examined and the eeect of choosing diierent features studied. Four important parameters of variation a...
متن کاملAnalysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation
Active databases provide reactive functionality by supporting event-conditionaction rules (also known as triggers). Two key issues in active databases are analysis and optimisation of such rules. In this paper we describe how abstract interpretation and partial evaluation can be applied to these tasks, demonstrating that they provide a useful framework that both encompasses various existing dat...
متن کاملDatabase Theory Column Victor Vianu Query Languages for Bags Expressive Power and Complexity 1
One of the characteristics of advanced database systems is that they must handle data which no longer ts the traditional relational style. The present column summarizes recent results on one such extension, where databases handle bags (multisets) rather than just sets. The results illustrate an important research direction in Database Theory. Abstract Most database theory focused on investigati...
متن کامل